Let S be a set of integers containing a. Suppose that S has the property that whenever some integer n ≥ a belongs to S, then every integer less than n and greater than a also belongs to S. Then S contains every integer greater than or equal to a.